On the average-case proof complexity of graph coloring

Författare
Lunds tekniska högskola Jonas Conneryd
(Jonas Conneryd., Licentiatavhandling Lund : Lunds universitet, 2025)
Genre
Avhandlingar, theses
Språk
Engelska
Förlag År Ort Om boken ISBN
Department of computer science, Lund university, Tryckeriet i E-huset 2025 Sverige, Lund, Lund 143 sidor illustrationer 24 cm 978-91-8104-529-1